School of Computer Science BCS accreditation 2021 - 2026

Artificial Intelligence MEng (Hons) - 3.1.4 Knowledge and understanding of mathematical and/or statistical principles

COMP11120 Mathematical Techniques for Computer Science

The course consists of teaching such mathematical principles.

Assesement : Examination, Individual coursework

COMP11212 Fundamentals of Computation

The course exposes students to mathematical treatments of basic topics such as computability and complexity. It also gives experience in defining and using formal systems and notations (e.g. grammars), and reasoning about such systems.

Assesement : Examination, Individual coursework

COMP12111 Fundamentals of Computer Engineering

Basic Boolean logic and binary arithmetic and the application to the design of digital systems.

Assesement : Examination, Lab work

COMP13212 Data Science

The course covers statistical principles, including quantification of uncertainty and hypothesis testing. Probabilistic reasoning including Bayesian reasoning is covered.

Assesement : Examination, Lab work

COMP15111 Fundamentals of Computer Architecture

Theoretical analysis, algebra and statistics is fundamental to the course.

Assesement : Examination, Lab work

COMP24011 Introduction to AI

Material and exercises on automated diagnosis and vehicle odeometry develop knowledge and understanding of probabilitistic reasoning. Material and exercises on natural language inference and planning develop knowledge and understanding of the application of logic in reasoning.

Assesement : Examination, Lab work

COMP24112 Machine Learning

This course requires applying mathematical and statistical principles in understanding and design of machine learning models.

Assesement : Examination, Lab work

COMP24412 Knowledge Based AI

The course investigates a range of logical frameworks and their properties.

Assesement : Examination, Individual coursework

COMP26020 Programming Languages & Paradigms

Some mathematical formalism in relation to languages and compilers is introduced to illustrate key concepts

Assesement : Examination

COMP26120 Algorithms and Data Structures

The course relies on considerable mathematical foundations, for performance analysis and correctness arguments.

Assesement : Examination, Individual coursework

COMP30040 Third Year Project Laboratory

Evaluation of some projects may require robust statistical analysis. Some projects require significant amounts of applied maths and logic.

Assesement : Individual coursework